Solution

Monotone maps are Bool-functors between Bool-categories, so the definitions line up